We introduce a methodology whereby an arbitrary logic system L can be enriched with temporal features to create a new system T(L). The new system is constructed by combining L with a pure propositional temporal logic T (such as linear temporal logic with Since and Until) in a special way. We refer to this method as adding a temporal dimension to L or just temporalising L. We show that the logic system T(L) preserves several properties of the original temporal logic (...) like soundness, completeness, decidability, conservativeness and separation over linear flows of time. We then focus on the temporalisation of first-order logic, and a comparison is make with other first-order approaches to the handling of time. (shrink)

This paper investigates modular combinations of temporal logic systems. Four combination methods are described and studied with respect to the transfer of logical properties from the component one-dimensional temporal logics to the resulting combined two-dimensional temporal logic. Three basic logical properties are analyzed, namely soundness, completeness, and decidability. Each combination method comprises three submethods that combine the languages, the inference systems, and the semantics of two one-dimensional temporal logic systems, generating families of two-dimensional temporal languages with varying expressivity and varying (...) degrees of transfer of logical properties. The temporalization method and the independent combination method are shown to transfer all three basic logical properties. The method of full join of logic systems generates a considerably more expressive language but fails to transfer completeness and decidability in several cases. So a weaker method of restricted join is proposed and shown to transfer all three basic logical properties. (shrink)

In this paper we study families of resource aware logics that explore resource restriction on rules; in particular, we study the use of controlled cut-rule and introduce three families of parameterised logics that arise from different ways of controlling the use of cut. We start with a formulation of classical logic in which cut is non-eliminable and then impose restrictions on the use of cut. Three Cut-and-Pay families of logics are presented, and it is shown that each family provides an (...) approximation process for full propositional classical logic when the control over the use of cut is progressively weakened. A sound and complete semantics is given for each component of each of the three families of approximated logics. One of these families is shown to possess the uniform substitution property, a new result for approximated reasoning. A tableau based decision procedure is presented for each element of the approximation families and the complexity of each decision procedure is studied. We show that there are families in which every component logic can be decided polynomially. (shrink)

We introduce a methodology whereby an arbitrary logic system L can be enriched with temporal features to create a new system T(L). The new system is constructed by combining L with a pure propositional temporal logic T (such as linear temporal logic with “Since” and “Until”) in a special way. We refer to this method as “adding a temporal dimension to L” or just “temporalising L”. We show that the logic system T(L) preserves several properties of the original temporal logic (...) like soundness, completeness, decidability, conservativeness and separation over linear flows of time. We then focus on the temporalisation of first-order logic, and a comparison is make with other first-order approaches to the handling of time. (shrink)

This work studies the structure of proofs containing non-analytic cuts in the cut-based system, a sequent inference system in which the cut rule is not eliminable and the only branching rule is the cut. Such sequent system is invertible, leading to the KE-tableau decision method. We study the structure of such proofs, proving the existence of a normal form for them in the form of a comb-tree proof. We then concentrate on the problem of efficiently computing non-analytic cuts. For that, (...) we study the generalisation of techniques present in many modern theorem provers, namely the techniques of conflict-driven formula learning. (shrink)

In this paper we explore a generalization of traditional abduction which can simultaneously perform two different tasks: given an unprovable sequent Γ ⊢ G, find a sentence H such that Γ, H ⊢ G is provable ; given a provable sequent Γ ⊢ G, find a sentence H such that Γ ⊢ H and the proof of Γ, H ⊢ G is simpler than the proof of Γ ⊢ G . We argue that the two tasks should not be distinguished, (...) and present a general procedure for finding suitable hypotheses or lemmas. When the original sequent is provable, the abduced formula can be seen as a cut formula with respect to Gentzen's sequent calculus, so the abduction method is cut-based. Our method is based on the tableau-like system KE and we argue for its advantages over existing abduction methods based on traditional Smullyan-style Tableaux. (shrink)

The future of awake bruxism assessment will incorporate physiological data, possibly electromyography of the temporal muscles. But up to now, temporal muscle contraction patterns in awake bruxism have not been characterized to demonstrate clinical utility. The present study aimed to perform surface EMG evaluations of people assessed for awake bruxism to identify possible different subtypes. A 2-year active search for people with awake bruxism in three regions of the country resulted in a total of 303 participants. Their inclusion was confirmed (...) through non-instrumental approaches for awake bruxism: self-reported questionnaire and clinical exam, performed by three experienced and calibrated dentists. Also, 77 age- and sex-matched healthy controls were recruited. Temporalis surface EMG was performed with a portable device. EMG signals were sent to a computer via Bluetooth 4.0 at a sampling rate of 1,000 Hz. Digital signal processing was performed using the commercial neuroUP software, transformed in RMS and then normalized for peak detection, in a 10 min session. Cluster analysis revealed three distinct subtypes of awake bruxism: phasic, tonic, and intermediate. Individuals with a predominance of EMG peaks/min were classified as the “phasic” subtype. Those with the highest EMG rest power were classified as the “tonic” subtype. There was also an “intermediate” subtype, when both variables remained low. Characterization of awake bruxism physiology is important for future establishment of instrumental assessment protocols and treatment strategies. (shrink)

De 1964 a 1985 o Brasil viveu sob um regime de governo ditatorial que de acordo com a historiografia mais recente foi sustentado, em grande parte, pela própria sociedade civil (MELO, 2012; COMISSÃO, 2014). Mais recentemente, a partir dos anos 1980, cresce o movimento de criação de espaços de memória corporativos com o objetivo de tornar pública a trajetória histórica das empresas (COSTA; SARAIVA, 2011). Dentre estes espaços, adquire relevância os Centros de Memória e documentação como lugares de armazenamento e (...) lembrança de memória organizacional, que ajudam a construir simbolicamente a imagem organizacional e a fornecer um senso de coerência e trajetória linear (RIBEIRO; BARBOSA, 2007). Neste contexto, e com base na documentação disponibilizada pela Comissão Nacional da Verdade, a presente pesquisa tem por objetivo identificar como o Museu Histórico da Fundação Bradesco retrata (ou deixa de retratar) o relacionamento da empresa Bradesco com o governo brasileiro no período da ditadura civil-militar. FIRMS, BRAZILIAN CIVIL-MILITARE DICTATORSHIP, AND MEMORY AND CORPORATIVE DOCUMENTATION CENTERS: AN EXPLORATORY STUDY From 1964 to 1985, Brazil lived under a dictatorial system of government that according to the latest historiography was sustained largely by civil society (MELO, 2012; COMISSÃO, 2014). More recently, since the 1980s, it is possible to be noticed the growing movement of creation of corporate memory spaces in order to make public the historical trajectory of the companies (COSTA and SARAIVA, 2011). Among these spaces, acquires relevance the Corporate Documentation and Memory Centers, which help to symbolically build the organizational image and to provide a sense of consistency and linear trajectory (RIBEIRO and BARBOSA, 2007). In this context, and based on documentation provided by the National Commission of Truth, this research aims to identify how the History Museum of Bradesco Foundation portrays (or does not portray) the relationship between Bradesco company and the Brazilian government in the period of civil-military dictatorship. (shrink)

IntroductionRegular exercise has long been shown to positively impact the immune system responsiveness and improve mental well-being. However, the putative links between biomarkers of mental health and immune efficiency in exercising subjects have been scarcely investigated. The aim of this study was to verify the effect of a 14-week combined chair-based exercise program on salivary steroid hormones and anti-microbial proteins, functional fitness, and MWB indexes in pre-frail older women.MethodsThe participant women were randomly divided into the exercising group and the non-exercising (...) control group. The pre/post assessment included: salivary anti-microbial proteins lysozyme; and immunoglobulin-A ; salivary steroid hormones of testosterone and cortisol ; functional fitness ; MWB questionnaires.ResultsSignificant differences with large Cohen’s effect sizes were found on increased salivary TT after exercise intervention. The results revealed a decrease in IgA levels after CEP. The increase in subjective happiness levels and decrease of stress perception and depressive state were found after intervention in the CEP group. Robust statistical differences in gait speed and balance tests were also found in the CEP group. In control, COR increased moderately while no changes were found for the other indicators. Correlation analyses showed inter-dependence between pre–post variations of MWB, biochemical indexes, and fitness function.ConclusionThe CEP program was able to improve functional-fitness performance, decrease feelings of stress, and increase happiness. The CEP also induced clinically relevant hormonal and immune responses, which suggests that chair exercises that combine muscular strength, balance, and gait speed training are promising interventions to improve physical and mental health of older pre-frail adults. (shrink)

Background: The new human coronavirus that leads to COVID-19 has spread rapidly around the world and has a high degree of lethality. In more severe cases, patients remain hospitalized for several days under treatment of the health team. Thus, it is important to develop and use technologies with the aim to strengthen conventional therapy by encouraging movement, physical activity, and improving cardiorespiratory fitness for patients. In this sense, therapies for exposure to virtual reality are promising and have been shown to (...) be an adequate and equivalent alternative to conventional exercise programs.Aim: This is a study protocol with the aim of comparing the conventional physical therapy intervention with the use of a non-immersive VR software during COVID-19 hospitalization.Methods: Fifty patients hospitalized with confirmed diagnosis of COVID-19 will be divided in two groups under physiotherapy treatment using conventional or VR intervention: Group A: participants with COVID-19 will start the first day of the protocol with VR tasks in the morning and then in the second period, in the afternoon, will perform the conventional exercises and Group B: participants with COVID-19 will start the first day with conventional exercises in the morning and in the second period, in the afternoon, will perform activity with VR. All participants will be evaluated with different motor and physiologic scales before and after the treatment to measure improvements.Conclusion: Considering the importance of benefits from physical activity during hospitalization, VR software shows promise as a potential mechanism for improving physical activity. The results of this study may provide new insights into hospital rehabilitation.Trial Registration:ClinicalTrials.gov, identifier: NCT04537858. Registered on 01 September 2020. (shrink)

We analyze the variety of A. Monteiro’s tetravalent modal algebras under the perspective of two logic systems naturally associated to it. Taking profit of the contrapositive implication introduced by A. Figallo and P. Landini, sound and complete Hilbert-style calculi for these logics are presented.

In this paper we propose to enrich the four-valued modal logic associated to Monteiro's Tetravalent modal algebras (TMAs) with a deductive implication, that is, such that the Deduction Meta-theorem holds in the resulting logic. All this lead us to establish some new connections between TMAs, symmetric (or involutive) Boolean algebras, and modal algebras for extensions of S5, as well as their logical counterparts.

This paper generalises and complements the work on combining temporal logics started by Finger and Gabbay [11, 10]. We present proofs of transference of soundness, completeness and decidability for the temporalisation of logics T for any flow of time, eliminating the original restriction that required linear time for the transference of those properties through logic combination. We also generalise such results to the external application of a multi-modal system containing any number of connectives with arbitrary arity, that respect normality.This (...) generalisation over generic flows of time propagates to other combinations of logics that can be interpreted in terms of temporalisations. In this way, the independent combination of temporal logics is studied over generic flows of time. We show the transfer of soundness, completeness and decidability for independent combination of temporal logics. Finally, we also discuss the independent combination of any finite number of normal multi-modal logics. (shrink)

Tetravalent modal logic (TML) was introduced by Font and Rius in 2000. It is an expansion of the Belnap-Dunn four-valued logic FOUR, a logical system that is well-known for the many applications found in several fields. Besides, TML is the logic that preserves degrees of truth with respect to Monteiro’s tetravalent modal algebras. Among other things, Font and Rius showed that TML has a strongly adequate sequent system, but unfortunately this system does not enjoy the cut-elimination property. However, in (...) a previous work we presented a sequent system for TML with the cut-elimination property. Besides, in this same work, it was also presented a sound and complete natural deduction system for this logic. In the present article we continue with the study of TML under a proof-theoretic perspective. In the first place, we show that the natural deduction system that we introduced before admits a normalization theorem. In the second place, taking advantage of the contrapositive implication for the tetravalent modal algebras introduced by A. V. Figallo and P. Landini, we define a decidable tableau system adequate to check validity in the logic TML. Finally, we provide a sound and complete tableau system for TML in the original language. These two tableau systems constitute new (proof-theoretic) decision procedures for checking validity in the variety of tetravalent modal algebras. (shrink)

Agenda Relevance is the first volume in the authors' omnibus investigation of the logic of practical reasoning, under the collective title, A Practical Logic of Cognitive Systems. In this highly original approach, practical reasoning is identified as reasoning performed with comparatively few cognitive assets, including resources such as information, time and computational capacity. Unlike what is proposed in optimization models of human cognition, a practical reasoner lacks perfect information, boundless time and unconstrained access to computational complexity. The practical reasoner is (...) therefore obliged to be a cognitive economizer and to achieve his cognitive ends with considerable efficiency. Accordingly, the practical reasoner avails himself of various scarce-resource compensation strategies. He also possesses neurocognitive traits that abet him in his reasoning tasks. Prominent among these is the practical agent's striking (though not perfect) adeptness at evading irrelevant information and staying on task. On the approach taken here, irrelevancies are impediments to the attainment of cognitive ends. Thus, in its most basic sense, relevant information is cognitively helpful information. Information can then be said to be relevant for a practical reasoner to the extent that it advances or closes some cognitive agenda of his. The book explores this idea with a conceptual detail and nuance not seen the standard semantic, probabilistic and pragmatic approaches to relevance; but wherever possible, the authors seek to integrate alternative conceptions rather than reject them outright. A further attraction of the agenda-relevance approach is the extent to which its principal conceptual findings lend themselves to technically sophisticated re-expression in formal models that marshal the resources of time and action logics and label led deductive systems. Agenda Relevance is necessary reading for researchers in logic, belief dynamics, computer science, AI, psychology and neuroscience, linguistics, argumentation theory, and legal reasoning and forensic science, and will repay study by graduate students and senior undergraduates in these same fields. Key features: relevance action and agendas practical reasoning belief dynamics non-classical logics labelled deductive systems. (shrink)

Inductive Logic is number ten in the 11-volume Handbook of the History of Logic. While there are many examples were a science split from philosophy and became autonomous (such as physics with Newton and biology with Darwin), and while there are, perhaps, topics that are of exclusively philosophical interest, inductive logic — as this handbook attests — is a research field where philosophers and scientists fruitfully and constructively interact. This handbook covers the rich history of scientific turning points in Inductive (...) Logic, including probability theory and decision theory. Written by leading researchers in the field, both this volume and the Handbook as a whole are definitive reference tools for senior undergraduates, graduate students and researchers in the history of logic, the history of philosophy, and any discipline, such as mathematics, computer science, cognitive psychology, and artificial intelligence, for whom the historical background of his or her work is a salient consideration. (shrink)

Multialgebras have been much studied in mathematics and in computer science. In 2016 Carnielli and Coniglio introduced a class of multialgebras called swap structures, as a semantic framework for dealing with several Logics of Formal Inconsistency that cannot be semantically characterized by a single finite matrix. In particular, these LFIs are not algebraizable by the standard tools of abstract algebraic logic. In this paper, the first steps towards a theory of non-deterministic algebraization of logics by swap structures are given. Specifically, (...) a formal study of swap structures for LFIs is developed, by adapting concepts of universal algebra to multialgebras in a suitable way. A decomposition theorem similar to Birkhoff’s representation theorem is obtained for each class of swap structures. Moreover, when applied to the 3-valued algebraizable logics J3 and Ciore, their classes of algebraic models are retrieved, and the swap structures semantics become twist structures semantics. This fact, together with the existence of a functor from the category of Boolean algebras to the category of swap structures for each LFI, suggests that swap structures can be seen as non-deterministic twist structures. This opens new avenues for dealing with non-algebraizable logics by the more general methodology of multialgebraic semantics. (shrink)

The present paper begins with an analysis of a letter from Edmund Burke written in January 1790, the moment when the statesman declared himself against the French Revolution, in order to conjoin the letter with other texts from the author where the organic and hereditary aspects of civil society, as well as the forming and deforming role of words in political activity, are discussed. The second part of the text consists in the translation and notes of the aforesaid letter.

Despite being fairly powerful, finite non-deterministic matrices are unable to characterize some logics of formal inconsistency, such as those found between mbCcl and Cila. In order to overcome this limitation, we propose here restricted non-deterministic matrices (in short, RNmatrices), which are non-deterministic algebras together with a subset of the set of valuations. This allows us to characterize not only mbCcl and Cila (which is equivalent, up to language, to da Costa's logic C_1) but the whole hierarchy of da Costa's calculi (...) C_n. This produces a novel decision procedure for these logics. Moreover, we show that the RNmatrix semantics proposed here induces naturally a labelled tableau system for each C_n, which constitutes another decision procedure for these logics. This new semantics allows us to conceive da Costa's hierarchy of C-systems as a family of (non deterministically) (n+2)-valued logics, where n is the number of "inconsistently true" truth-values and 2 is the number of "classical" or "consistent" truth-values, for every C_n. (shrink)

The logics of formal inconsistency (LFIs, for short) are paraconsistent logics (that is, logics containing contradictory but non-trivial theories) having a consistency connective which allows to recover the ex falso quodlibet principle in a controlled way. The aim of this paper is considering a novel semantical approach to first-order LFIs based on Tarskian structures defined over swap structures, a special class of multialgebras. The proposed semantical framework generalizes previous aproaches to quantified LFIs presented in the literature. The case of QmbC, (...) the simpler quantified LFI expanding classical logic, will be analyzed in detail. An axiomatic extension of QmbC called QLFI1o is also studied, which is equivalent to the quantified version of da Costa and D'Ottaviano 3-valued logic J3. The semantical structures for this logic turn out to be Tarkian structures based on twist structures. The expansion of QmbC and QLFI1o with a standard equality predicate is also considered. (shrink)

The notion of negation is basic to any formal or informal logical system. When any such system is presented to us, it is presented either as a system without negation or as a system with some form of negation. In both cases, we are supposed to know intuitively whether there is no negation in the system or whether the form of negation presented in the system is indeed as claimed. To be more specific, suppose Robinson Crusoe writes a logical system (...) with Hilbert-type axioms and rules, which includes a unary connective ∗A\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$*A$$\end{document}. He puts the document in a bottle and lets it lose at sea. We find it and take a look. We ask: is the connective “∗\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$*$$\end{document}” a negation in the system? Yet the notion of what is negation in a formal system is not clear. When we see a unary connective ∗A\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$*A$$\end{document}, together with some other axioms for some additional connectives, how can we tell whether ∗A\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$*A$$\end{document} is indeed a form of negation of A? Are there some axioms which the connective “∗\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$*$$\end{document}” must satisfy in order to qualify ∗\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$*$$\end{document} as a negation? (shrink)

O presente trabalho procura se debruçar sobre a dimensão ontológica do homem animal-político-social em Aristóteles. Logo, desde já nos cabe ressaltar que a verificação do homem enquanto animal político-social abarcará um caráter metafísico para a efetivação no e do físico-material-natural, ou seja, o ser biopsicossocial. Refletindo, construindo e interligando o ser físico e “espiritual”. Portanto, o objeto principal será o que diz respeito ao homem como um animal político-social, no sentido ontológico do ser sensível em Aristóteles. Para tanto, a proposta (...) abarcará a Teoria das Quatro Causas de Aristóteles. Isso para demonstrar certa ontologia de uma suposta essência da ou na substancia no e do ser humano. Ou seja, quem é o “homem-ser-ente” coberto por sua estrutura física e sensível no sentido ontológico no corporal? São os seres humanos animais essencialmente políticos? E se forem são seres políticos do e ou no “espiritual”, “almático” e metafísico ou no físico-corporal? (shrink)

In 1988, J. Ivlev proposed some (non-normal) modal systems which are semantically characterized by four-valued non-deterministic matrices in the sense of A. Avron and I. Lev. Swap structures are multialgebras (a.k.a. hyperalgebras) of a special kind, which were introduced in 2016 by W. Carnielli and M. Coniglio in order to give a non-deterministic semantical account for several paraconsistent logics known as logics of formal inconsistency, which are not algebraizable by means of the standard techniques. Each swap structure induces naturally a (...) non-deterministic matrix. The aim of this paper is to obtain a swap structures semantics for some Ivlev-like modal systems proposed in 2015 by M. Coniglio, L. Fariñas del Cerro and N. Peron. Completeness results will be stated by means of the notion of Lindenbaum–Tarski swap structures, which constitute a natural generalization to multialgebras of the concept of Lindenbaum–Tarski algebras. (shrink)

Nietzsche y Educación: conocimiento y cultura en el Estado Moderno Resumen: Este texto busca tejer algunas reflexiones sobre la relación entre la filosofía de Friedrich Nietzsche y el campo educativo, entendiendo sus indagaciones sobre las instituciones educativas modernas y los valores vinculados a este tipo de hombre. Vinculado al proceso de degeneración de la potencia instintiva humana y su animalidad, se estableció un modelo de conocimiento, basado en el ideal metafísico y la creencia incondicional de la verdad. La crítica dirigida (...) al Estado Moderno y su modelo de cultura, que pretendió instituir a filósofos/as y estudiosos/as como guías, considera que es necesario volver a hacer crecer los usos y funciones de estos sujetos en la sociedad, al buscar superar el dilema que los constituye hoy, como empleados y mantenedores del Estado. Pasando por distintas fases de su pensamiento, buscó ser un instrumento más para dotar al ámbito de la Filosofía de la Educación de un vínculo sólido con el filósofo alemán, a través del estudio de las relaciones entre Nietzsche y la Educación. Palabras-Clave: Conocimiento; Cultura; Educación; Friedrich Nietzsche. Nietzsche e Educação: conhecimento e cultura no Estado Moderno Resumo: Este texto busca tecer algumas reflexões acerca da relação entre a filosofia de Friedrich Nietzsche e o campo educacional, compreendendo suas indagações acerca das instituições de ensino modernas e os valores vinculados ao este tipo de homem. Atrelado ao processo de degeneração da potência instintiva humana e de sua animalidade ocorreu a fixação de um modelo de conhecimento, fundamentado no ideal metafísico e na crença incondicional da verdade. A crítica dirigida ao Estado Moderno e ao seu modelo de cultura, que pretendeu instituir os filósofos e eruditos enquanto guias, entende que é necessário o resgate dos usos e funções destes sujeitos na sociedade, buscando superar o dilema que os constitui hoje, como funcionários e mantenedores do Estado. Perpassando diferentes fases de seu pensamento buscou-se ser mais um instrumento para fornecer ao âmbito da Filosofia da Educação um vínculo sólido com o filósofo alemão, por meio do estudo das relações entre Nietzsche e a Educação. Palavras-chave: Conhecimento; Cultura; Educação; Friedrich Nietzsche. Nietzsche and Education: knowledge and culture in the Modern State Abstract: This text seeks to do some reflections on the relationship between Friedrich Nietzsche's philosophy and the educational field, understanding his inquiries about modern educational institutions and the values ​​linked to this type of man. United with the process of degeneration of human instinctual power and its animality, there was the establishment of a model of knowledge, based on the metaphysical ideal and on the unconditional belief of truth. The criticism directed at the Modern State and its model of culture, which intended to establish philosophers and scholars as guides, understands that it is necessary to rescue the uses and functions of these subjects in society, seeking to overcome the dilemma that constitutes them today, as employees and keepers of the state. Passing through different phases of his thought, we sought to be one more instrument to provide the scope of Philosophy of Education with a solid link with the German philosopher, through the study of the relationship between Nietzsche and Education. Keywords: Knowledge; Culture; Education; Friedrich Nietzsche. Data de registro: 10/08/2021 Data de aceite: 19/01/2022. (shrink)

In 1986, Mikenberg et al. introduced the semantic notion of quasi-truth defined by means of partial structures. In such structures, the predicates are seen as triples of pairwise disjoint sets: the set of tuples which satisfies, does not satisfy and can satisfy or not the predicate, respectively. The syntactical counterpart of the logic of partial truth is a rather complicated first-order modal logic. In the present article, the notion of predicates as triples is recursively extended, in a natural way, to (...) any complex formula of the first-order object language. From this, a new definition of quasi-truth is obtained. The proof-theoretic counterpart of the new semantics is a first-order paraconsistent logic whose propositional base is a 3-valued logic belonging to hierarchy of paraconsistent logics known as Logics of Formal Inconsistency, which was proposed by Carnielli and Marcos in 2002. (shrink)

In the final pages of Chapter V of Afro-Brazilian Religions Roger Bastide sees, at a given moment in the socio-religious evolution of Brazil, a process of social disorganization which in its extent affects not only blacks but also poor white nationals and stranded immigrants.* As generator of a “ social marginalization,” this process could only be the passage through “a moment of transition” characterized by “the exaggerated speed of change in the country.” According to Bastide, an “organic period” follows: with (...) the “proletarization of the blacks, the assimilation of the immigrants, the general rise in the standard of living of the masses, other phenomena of cultural and social reintegration will appear.” On the religious level the “spiritism of umbanda“ is the expression of this new phase. (shrink)

Civil disobedience is a form of protest consisting in an act contrary to law, whose aim is to bring about a change in laws or policies deemed unjust. In the traditional Western philosophical debate, civil disobedience was mainly discussed and justified within the boundaries of a democratic regime. John Rawls’ theory of civil disobedience is explicitly based on this liberal assumption. He conceptualises civil disobedience as a public, nonviolent, conscientious and political breach of the law, only appropriate to nearly just (...) societies, hence to democratic regimes. This article intends to question Rawls’ premise by considering civil disobedience from a different perspective: when it is undertaken outside of a nearly just framework, precisely in not fully democratic contexts, such as the so-called “anocracies”, regimes that mix democratic and autocratic traits. The emblematic case of Sudan’s most recent actions of civil disobedience is examined to argue that, contrary to the liberal conceptualisation, civil disobedience does have a role and appropriateness in frameworks of this kind, where the aim is not only to oppose unjust laws or policies, but also to achieve a broader structural change through rigorously nonviolent forms of political action. (shrink)

Suszko's Thesis maintains that many-valued logics do not exist at all. In order to support it, R. Suszko offered a method for providing any structural abstract logic with a complete set of bivaluations. G. Malinowski challenged Suszko's Thesis by constructing a new class of logics (called q-logics by him) for which Suszko's method fails. He argued that the key for logical two-valuedness was the "bivalent" partition of the Lindenbaum bundle associated with all structural abstract logics, while his q-logics were generated (...) by "trivalent" matrices. This paper will show that contrary to these intuitions, logical two-valuedness has more to do with the geometrical properties of the deduction relation of a logical structure than with the algebraic properties embedded on it. (shrink)

The article went deeper into Richard Rorty’s texts that address the self as “a set of beliefs and desires.” In an imbrication of philosophy with psychoanalysis, Rorty’s hermeneutics accompanies the critique of psychoanalysis regarding the self-centralization from Metaphysical tradition, one of the strategies of self-redescription. The other strategy is aesthetic redescription. This redescription is based on understanding the psychic world as an encounter of “beliefs and desires” as “quasi-people.” The thread of our argument is the articulation of psychoanalysis with the (...) concept of “hegemony.” This reflexive line occurs due to the agonist and conflicting context of internal alterity from the “interpersonal” relationship between conscious and unconscious, rediscovering the self. (shrink)

Trying to overcome Dugundji’s result on uncharacterisability of modal logics by finite logical matrices, Kearns and Ivlev proposed, independently, a characterisation of some modal systems by means of four-valued multivalued truth-functions , as an alternative to Kripke semantics. This constitutes an antecedent of the non-deterministic matrices introduced by Avron and Lev . In this paper we propose a reconstruction of Kearns’s and Ivlev’s results in a uniform way, obtaining an extension to another modal systems. The first part of the paper (...) is devoted to four-valued Nmatrices, including Kearns’s and Ivlev’s. Besides proving with full details Kearns’s results for T, S4 and S5, we also obtain a characterisation of the system B by four-valued Nmatrices with level valuations. Concerning Ivlev’s results, two new modal systems are introduced and char.. (shrink)

Trata-se de um artigo de viés ensaístico que tenta apontar a impressão de que a instituição escolar habita uma densa crise existencial. A suposição que norteia essa reflexão visa à crise na educação escolar como uma aparência que costuma continuar velada na maior parte dos discursos críticos acerca da escolarização atual: o afastamento do sentido humano ontológico-social e do significado da experiência que relacionam professor-estudante. A investigação nesta atividade será realizada a partir de conceito recentemente desenvolvido, o absurdar-se, em uma (...) tentativa de aplicação desse conceito nas nossas experiências em escolas, nas quais atuamos como psicólogo da educação. (shrink)

RESENHA: COMBLIN, José. O Espírito Santo e a tradição de Jesus . São Paulo: Nhanduti, 2012.

This sentence: «Infinita è la violenza delle convinzioni acquisite», which appears in this text for the first time, could be the most faithful motto of Mario Martelli’s critical production, always characterized by his hard and consistent struggle against the «convizioni acquisite» of critical literature, historiography and philosophy, all of which have so severely mislead our view of Niccolò Machiavelli’s work and thought.

This sentence: «Infinita è la violenza delle convinzioni acquisite», which appears in this text for the first time, could be the most faithful motto of Mario Martelli’s critical production, always characterized by his hard and consistent struggle against the «convizioni acquisite» of critical literature, historiography and philosophy, all of which have so severely mislead our view of Niccolò Machiavelli’s work and thought.

This book is a specialized monograph on interpolation and definability, a notion central in pure logic and with significant meaning and applicability in all areas where logic is applied, especially computer science, artificial intelligence, logic programming, philosophy of science and natural language. Suitable for researchers and graduate students in mathematics, computer science and philosophy, this is the latest in the prestigous world-renowned Oxford Logic Guides, which contains Michael Dummet's Elements of intuitionism, J. M. Dunn and G. Hardegree's Algebraic Methods in (...) Philosophical Logic, H. Rott's Change, Choice and Inference: A Study of Belief Revision and Nonmonotonic Reasoning, P. T. Johnstone's Sketches of an Elephant: A Topos Theory Compendium: Volumes 1 and 2, and David J. Pym and Eike Ritter's Reductive Logic and Proof Search: Proof theory, semantics and control. (shrink)

The aim of the paper is to analyze the expressive power of the square operator of Łukasiewicz logic: ∗x=x⊙x⁠, where ⊙ is the strong Łukasiewicz conjunction. In particular, we aim at understanding and characterizing those cases in which the square operator is enough to construct a finite MV-chain from a finite totally ordered set endowed with an involutive negation. The first of our main results shows that, indeed, the whole structure of MV-chain can be reconstructed from the involution and the (...) Łukasiewicz square operator if and only if the obtained structure has only trivial subalgebras and, equivalently, if and only if the cardinality of the starting chain is of the form n+1 where n belongs to a class of prime numbers that we fully characterize. Secondly, we axiomatize the algebraizable matrix logic whose semantics is given by the variety generated by a finite totally ordered set endowed with an involutive negation and Łukasiewicz square operator. Finally, we propose an alternative way to account for Łukasiewicz square operator on involutive Gödel chains. In this setting, we show that such an operator can be captured by a rather intuitive set of equations. (shrink)

Recent years have been blessed with an abundance of logical systems, arising from a multitude of applications. A logic can be characterised in many different ways. Traditionally, a logic is presented via the following three components: 1. an intuitive non-formal motivation, perhaps tie it in to some application area 2. a semantical interpretation 3. a proof theoretical formulation. There are several types of proof theoretical methodologies, Hilbert style, Gentzen style, goal directed style, labelled deductive system style, and so on. The (...) tableau methodology, invented in the 1950s by Beth and Hintikka and later per fected by Smullyan and Fitting, is today one of the most popular, since it appears to bring together the proof-theoretical and the semantical approaches to the pre of a logical system and is also very intuitive. In many universities it is sentation the style first taught to students. Recently interest in tableaux has become more widespread and a community crystallised around the subject. An annual tableaux conference is being held and proceedings are published. The present volume is a Handbook a/Tableaux pre senting to the community a wide coverage of tableaux systems for a variety of logics. It is written by active members of the community and brings the reader up to frontline research. It will be of interest to any formal logician from any area. (shrink)